автомат с бесконечным количеством состояний

infinite-state automaton